PreviousNextTracker indexSee it online !

(92/162) 208 - ErrorList: Copy errors to clipboard

Request context menu action: Copy selected or all errors to clipboard.

Submitted ezust - 2010-06-03 03:22:44 Assigned
Priority 9 Labels
Status open Group None
Resolution None

Comments

2010-09-21 14:47:43
ezust

bumping up the priority on this one. any volunteers?

2010-09-21 14:47:43
ezust

- **priority**: 5 --> 9

2014-05-14 15:13:03.122000
grepppo

Ok I'll have a go

2014-06-18 14:24:54.772000
grepppo

Quick question as it isn't too obvious from the request, what would be the most idiomatic jEdit way of doing this ?

I was thinking either via the actions.xml or else as a right click menu on the window itself.

2014-06-22 04:54:35.899000
ezust

The request is for a context menu and an item in the context menu, but if you want to add an action to actions.xml that is also a good idea, since then it can be invoked from the keyboard also.

2014-07-07 22:37:34.992000
grepppo

Created Patch

https://sourceforge.net/p/jedit/plugin-patches/163/

2014-09-09 01:12:01.517000
ezust

it happens with any xml file that has an error in it.
yes, I agree, separating the formatting changes from the actual feature request would be a great idea.
Then we can test the other patch by itself and more easily figure out what is going on. sorry I didn't have time to debug it myself, I've been busy.